Security Verification of Secure MANET Routing Protocols

Secure mobile ad hoc network (MANET) routing protocols are not tested thoroughly against their security properties. Previous research focuses on verifying secure, reactive, accumulation-based routing protocols. An improved methodology and framework for secure MANET routing protocol verification is proposed which includes table-based and proactive protocols. The model checker, SPIN, is selected as the core of the secure MANET verification framework. Security is defined by both accuracy and availability: a protocol forms accurate routes and these routes are always accurate. The framework enables exhaustive verification of protocols and results in a counter-example if the protocol is deemed insecure. The framework is applied to models of the Optimized Link-State Routing (OLSR) and Secure OLSR protocol against five attack vectors. These vectors are based on known attacks against each protocol. Vulnerabilities consistent with published findings are automatically revealed. No unknown attacks were found; however, future attack vectors may lead to new attacks. The new framework for verifying secure MANET protocols extends verification capabilities to table-based and proactive protocols

Changing trends and emissions of hydrochlorofluorocarbons (HCFCs) and their hydrofluorocarbon (HFCs) replacements

United States. National Aeronautics and Space Administration (NAG5-12669)United States. National Aeronautics and Space Administration (NNX07AE89G)United States. National Aeronautics and Space Administration (NNX11AF17G)United States. National Aeronautics and Space Administration (NNX16AC98G

HFC-23 (CHF3) emission trend response to HCFC-22 (CHClF2) production and recent HFC-23 emission abatement measures

HFC-23 (also known as CHF3 [CHF subscript 3], fluoroform or trifluoromethane) is a potent greenhouse gas (GHG), with a global warming potential (GWP) of 14 800 for a 100-year time horizon. It is an unavoidable by-product of HCFC-22 (CHClF2 [CHCIF subscript 2], chlorodifluoromethane) production. HCFC-22, an ozone depleting substance (ODS), is used extensively in commercial refrigeration and air conditioning, in the extruded polystyrene (XPS) foam industries (dispersive applications) and also as a feedstock in fluoropolymer manufacture (a non-dispersive use). Aside from small markets in specialty uses, HFC-23 has historically been considered a waste gas that was, and often still is, simply vented to the atmosphere. Efforts have been made in the past two decades to reduce HFC-23 emissions, including destruction (incineration) in facilities in developing countries under the United Nations Framework Convention on Climate Change's (UNFCCC) Clean Development Mechanism (CDM), and by process optimization and/or voluntary incineration by most producers in developed countries. We present observations of lower-tropospheric mole fractions of HFC-23 measured by "Medusa" GC/MSD instruments from ambient air sampled in situ at the Advanced Global Atmospheric Gases Experiment (AGAGE) network of five remote sites (2007–2009) and in Cape Grim air archive (CGAA) samples (1978–2009) from Tasmania, Australia. These observations are used with the AGAGE 2-D atmospheric 12-box model and an inverse method to produce model mole fractions and a "top-down" HFC-23 emission history. The model 2009 annual mean global lower-tropospheric background abundance is 22.6 (±0.2) pmol mol−1 [mol superscript -1]. The derived HFC-23 emissions show a "plateau" during 1997–2003, followed by a rapid ~50% increase to a peak of 15.0 (+1.3/−1.2) Gg/yr in 2006. Following this peak, emissions of HFC-23 declined rapidly to 8.6 (+0.9/−1.0) Gg/yr in 2009, the lowest annual emission of the past 15 years. We derive a 1990–2008 "bottom-up" HFC-23 emission history using data from the United Nations Environment Programme and the UNFCCC. Comparison with the top-down HFC-23 emission history shows agreement within the stated uncertainties. In the 1990s, HFC-23 emissions from developed countries dominated all other sources, then began to decline and eventually became fairly constant during 2003–2008. By this point, with developed countries' emissions essentially at a plateau, the major factor controlling the annual dynamics of global HFC-23 emissions became the historical rise of developing countries' HCFC-22 dispersive use production, which peaked in 2007. Thereafter in 2007–2009, incineration through CDM projects became a larger factor, reducing global HFC-23 emissions despite rapidly rising HCFC-22 feedstock production in developing countries.NASA Upper Atmospheric Research Program (Grant NNX07AE89G)NASA Upper Atmospheric Research Program (Grant NNX07AF09G)NASA Upper Atmospheric Research Program (Grant NNX07AE87G

The increasing atmospheric burden of the greenhouse gas sulfur hexafluoride (SF<sub>6</sub>)

We report a 40-year history of SF6 atmospheric mole fractions measured at the Advanced Global Atmospheric Gases Experiment (AGAGE) monitoring sites, combined with archived air samples, to determine emission estimates from 1978 to 2018. Previously we reported a global emission rate of 7.3±0.6 Gg yr-1 in 2008 and over the past decade emissions have continued to increase by about 24% to 9.04±0.35 Gg yr-1 in 2018. We show that changing patterns in SF6 consumption from developed (Kyoto Protocol Annex-1) to developing countries (non-Annex-1) and the rapid global expansion of the electric power industry, mainly in Asia, have increased the demand for SF6-insulated switchgear, circuit breakers, and transformers. The large bank of SF6 sequestered in this electrical equipment provides a substantial source of emissions from maintenance, replacement, and continuous leakage. Other emissive sources of SF6 occur from the magnesium, aluminium, and electronics industries as well as more minor industrial applications. More recently, reported emissions, including those from electrical equipment and metal industries, primarily in the Annex-1 countries, have declined steadily through substitution of alternative blanketing gases and technological improvements in less emissive equipment and more efficient industrial practices. Nevertheless, there are still demands for SF6 in Annex-1 countries due to economic growth, as well as continuing emissions from older equipment and additional emissions from newly installed SF6-insulated electrical equipment, although at low emission rates. In addition, in the non-Annex-1 countries, SF6 emissions have increased due to an expansion in the growth of the electrical power, metal, and electronics industries to support their continuing development. There is an annual difference of 2.5-5 Gg yr-1 (1990-2018) between our modelled top-down emissions and the UNFCCC-reported bottom-up emissions (United Nations Framework Convention on Climate Change), which we attempt to reconcile through analysis of the potential contribution of emissions from the various industrial applications which use SF6. We also investigate regional emissions in East Asia (China, S. Korea) and western Europe and their respective contributions to the global atmospheric SF6 inventory. On an average annual basis, our estimated emissions from the whole of China are approximately 10 times greater than emissions from western Europe. In 2018, our modelled Chinese and western European emissions accounted for ∼36% and 3.1 %, respectively, of our global SF6 emissions estimate.NASA (Grant NAG5-12669, NNX07AE89G and NNX11AF17G)NOAA (Contract RA-133R-15-CN-0008

The Ninth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the SDSS-III Baryon Oscillation Spectroscopic Survey

The Sloan Digital Sky Survey III (SDSS-III) presents the first spectroscopic data from the Baryon Oscillation Spectroscopic Survey (BOSS). This ninth data release (DR9) of the SDSS project includes 535,995 new galaxy spectra (median z=0.52), 102,100 new quasar spectra (median z=2.32), and 90,897 new stellar spectra, along with the data presented in previous data releases. These spectra were obtained with the new BOSS spectrograph and were taken between 2009 December and 2011 July. In addition, the stellar parameters pipeline, which determines radial velocities, surface temperatures, surface gravities, and metallicities of stars, has been updated and refined with improvements in temperature estimates for stars with T_eff<5000 K and in metallicity estimates for stars with [Fe/H]>-0.5. DR9 includes new stellar parameters for all stars presented in DR8, including stars from SDSS-I and II, as well as those observed as part of the SDSS-III Sloan Extension for Galactic Understanding and Exploration-2 (SEGUE-2). The astrometry error introduced in the DR8 imaging catalogs has been corrected in the DR9 data products. The next data release for SDSS-III will be in Summer 2013, which will present the first data from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) along with another year of data from BOSS, followed by the final SDSS-III data release in December 2014.Comment: 9 figures; 2 tables. Submitted to ApJS. DR9 is available at http://www.sdss3.org/dr

The Baryon Oscillation Spectroscopic Survey of SDSS-III

The Baryon Oscillation Spectroscopic Survey (BOSS) is designed to measure the scale of baryon acoustic oscillations (BAO) in the clustering of matter over a larger volume than the combined efforts of all previous spectroscopic surveys of large scale structure. BOSS uses 1.5 million luminous galaxies as faint as i=19.9 over 10,000 square degrees to measure BAO to redshifts z<0.7. Observations of neutral hydrogen in the Lyman alpha forest in more than 150,000 quasar spectra (g<22) will constrain BAO over the redshift range 2.15<z<3.5. Early results from BOSS include the first detection of the large-scale three-dimensional clustering of the Lyman alpha forest and a strong detection from the Data Release 9 data set of the BAO in the clustering of massive galaxies at an effective redshift z = 0.57. We project that BOSS will yield measurements of the angular diameter distance D_A to an accuracy of 1.0% at redshifts z=0.3 and z=0.57 and measurements of H(z) to 1.8% and 1.7% at the same redshifts. Forecasts for Lyman alpha forest constraints predict a measurement of an overall dilation factor that scales the highly degenerate D_A(z) and H^{-1}(z) parameters to an accuracy of 1.9% at z~2.5 when the survey is complete. Here, we provide an overview of the selection of spectroscopic targets, planning of observations, and analysis of data and data quality of BOSS.Comment: 49 pages, 16 figures, accepted by A

Percutaneous closure of atrial septal defects leads to normalisation of atrial and ventricular volumes

Background: Percutaneous closure of atrial septal defects (ASDs) should potentially reduce right heart volumes by removing left-to-right shunting. Due to ventricular interdependence, this may be associated with impaired left ventricular filling and potentially function. Furthermore, atrial changes post-ASD closure have been poorly understood and may be important for understanding risk of atrial arrhythmia post-ASD closure. Cardiovascular magnetic resonance (CMR) is an accurate and reproducible imaging modality for the assessment of cardiac function and volumes. We assessed cardiac volumes pre- and post-percutaneous ASD closure using CMR. Methods: Consecutive patients (n = 23) underwent CMR pre- and 6 months post-ASD closure. Steady state free precession cine CMR was performed using contiguous slices in both short and long axis views through the ASD. Data was collected for assessment of left and right atrial, ventricular end diastolic volumes (EDV) and end systolic volumes (ESV). Data is presented as mean ± SD, volumes as mL, and paired t-testing performed between groups. Statistical significance was taken as p &lt; 0.05. Results: There was a significant reduction in right ventricular volumes at 6 months post-ASD closure (RVEDV: 208.7 ± 76.7 vs. 140.6 ± 60.4 mL, p &lt; 0.0001) and RVEF was significantly increased (RVEF 35.5 ± 15.5 vs. 42.0 ± 15.2%, p = 0.025). There was a significant increase in the left ventricular volumes (LVEDV 84.8 ± 32.3 vs. 106.3 ± 38.1 mL, p = 0.003 and LVESV 37.4 ± 20.9 vs. 46.8 ± 18.5 mL, p = 0.016). However, there was no significant difference in LVEF and LV mass post-ASD closure. There was a significant reduction in right atrial volumes at 6 months post-ASD closure (pre-closure 110.5 ± 55.7 vs. post-closure 90.7 ± 69.3 mL, p = 0.019). Although there was a trend to a decrease in left atrial volumes post-ASD closure, this was not statistically significant (84.5 ± 34.8 mL to 81.8 ± 44.2 mL, p = NS). Conclusion: ASD closure leads to normalisation of ventricular volumes and also a reduction in right atrial volume. Further follow-up is required to assess how this predicts outcomes such as risk of atrial arrhythmias after such procedures.Karen SL Teo, Benjamin K Dundon, Payman Molaee, Kerry F Williams, Angelo Carbone, Michael A Brown, Matthew I Worthley, Patrick J Disney, Prashanthan Sanders and Stephen G Worthle

Food Anticipatory Activity Behavior of Mice across a Wide Range of Circadian and Non-Circadian Intervals

When rodents are fed in a limited amount during the daytime, they rapidly redistribute some of their nocturnal activity to the time preceding the delivery of food. In rats, anticipation of a daily meal has been interpreted as a circadian rhythm controlled by a food-entrained oscillator (FEO) with circadian limits to entrainment. Lesion experiments place this FEO outside of the light-entrainable circadian pacemaker in the suprachiasmatic nucleus. Mice also anticipate a fixed daily meal, but circadian limits to entrainment and anticipation of more than 2 daily meals, have not been assessed. We used a video-based behavior recognition system to quantify food anticipatory activity in mice receiving 2, 3, or 6 daily meals at intervals of 12, 8, or 4-hours (h). Individual mice were able to anticipate as many as 4 of 6 daily meals, and anticipation persisted during meal omission tests. On the 6 meal schedule, pre-prandial activity and body temperature were poorly correlated, suggesting independent regulation. Mice showed a limited ability to anticipate an 18 h feeding schedule. Finally, mice showed concurrent circadian and sub-hourly anticipation when provided with 6 small meals, at 30 minute intervals, at a fixed time of day. These results indicate that mice can anticipate feeding opportunities at a fixed time of day across a wide range of intervals not previously associated with anticipatory behavior in studies of rats. The methods described here can be exploited to determine the extent to which timing of different intervals in mice relies on common or distinct neural and molecular mechanisms

Pan-Cancer Analysis of lncRNA Regulation Supports Their Targeting of Cancer Genes in Each Tumor Context

Long noncoding RNAs (lncRNAs) are commonly dys-regulated in tumors, but only a handful are known toplay pathophysiological roles in cancer. We inferredlncRNAs that dysregulate cancer pathways, onco-genes, and tumor suppressors (cancer genes) bymodeling their effects on the activity of transcriptionfactors, RNA-binding proteins, and microRNAs in5,185 TCGA tumors and 1,019 ENCODE assays.Our predictions included hundreds of candidateonco- and tumor-suppressor lncRNAs (cancerlncRNAs) whose somatic alterations account for thedysregulation of dozens of cancer genes and path-ways in each of 14 tumor contexts. To demonstrateproof of concept, we showed that perturbations tar-geting OIP5-AS1 (an inferred tumor suppressor) andTUG1 and WT1-AS (inferred onco-lncRNAs) dysre-gulated cancer genes and altered proliferation ofbreast and gynecologic cancer cells. Our analysis in-dicates that, although most lncRNAs are dysregu-lated in a tumor-specific manner, some, includingOIP5-AS1, TUG1, NEAT1, MEG3, and TSIX, synergis-tically dysregulate cancer pathways in multiple tumorcontexts

Pan-cancer Alterations of the MYC Oncogene and Its Proximal Network across the Cancer Genome Atlas

Although theMYConcogene has been implicated incancer, a systematic assessment of alterations ofMYC, related transcription factors, and co-regulatoryproteins, forming the proximal MYC network (PMN),across human cancers is lacking. Using computa-tional approaches, we define genomic and proteo-mic features associated with MYC and the PMNacross the 33 cancers of The Cancer Genome Atlas.Pan-cancer, 28% of all samples had at least one ofthe MYC paralogs amplified. In contrast, the MYCantagonists MGA and MNT were the most frequentlymutated or deleted members, proposing a roleas tumor suppressors.MYCalterations were mutu-ally exclusive withPIK3CA,PTEN,APC,orBRAFalterations, suggesting that MYC is a distinct onco-genic driver. Expression analysis revealed MYC-associated pathways in tumor subtypes, such asimmune response and growth factor signaling; chro-matin, translation, and DNA replication/repair wereconserved pan-cancer. This analysis reveals insightsinto MYC biology and is a reference for biomarkersand therapeutics for cancers with alterations ofMYC or the PMN